Total Books: 1 - 1 /1
Verification, Model Checking, and Abstract Interpretation
This volume contains the revised version of papers presented at VMCAI 2002,the Third International Workshop on Verification, ...
Lee mas
Total Books: 1 - 1 /1
